failure 515:
Requirement failed: {strptime.12.01;strptime.17.02} shall fails
| location |
| trace |
/var/opt/lsb/test/olver-core/2013-01-21_10-20-40/util_format_time_scenario.utz (util_format_time_scenario.utt), line 48603 |
| occurence |
| scenario |
util_format_time_scenario |
| specification function |
strptime_spec() |
| parameter value |
CallContext context = [pid=18679,thr=b75516c0] |
| parameter value |
CString * @buf = 0 Mon 2009 |
| parameter value |
CString * buf = 0 Mon 2009 |
| parameter value |
CString * @format = %U %a %Y |
| parameter value |
CString * format = %U %a %Y |
| parameter value |
TmT * @timeptr = struct TmT { tm_sec=0, tm_min=0, tm_hour=0, tm_mday=1, tm_mon=0, tm_year=0, tm_wday=0, tm_yday=0, tm_isdst=0, tm_gmtoff=0, tm_zone=<NULL> } |
| parameter value |
TmT * timeptr = struct TmT { tm_sec=0, tm_min=0, tm_hour=0, tm_mday=-2, tm_mon=-1, tm_year=109, tm_wday=1, tm_yday=-3, tm_isdst=0, tm_gmtoff=0, tm_zone=<NULL> } |
| parameter value |
TmTAnsw * @corrRes = <0xa0d9dc4>ptr·to·struct·TmTAnsw·{·bSec=0,·bMin=0,·bHour=0,·bMDay=0,·bMon=0,·bYear=0,·bWDay=0,·bYDay=0,·bIsDst=0,·Error=1,·tm_sec=0,·tm_min=0,·tm_hour=0,·tm_mday=0,·tm_mon=0,·tm_year=0,·tm_wday=0,·tm_yday=0,·tm_isdst=0,·reqs=<0x9d50e9e>ptr·to··} |
| parameter value |
TmTAnsw * corrRes = <0xa0d9dc4>ptr·to·struct·TmTAnsw·{·bSec=0,·bMin=0,·bHour=0,·bMDay=0,·bMon=0,·bYear=0,·bWDay=0,·bYDay=0,·bIsDst=0,·Error=1,·tm_sec=0,·tm_min=0,·tm_hour=0,·tm_mday=0,·tm_mon=0,·tm_year=0,·tm_wday=0,·tm_yday=0,·tm_isdst=0,·reqs=<0x9d50e9e>ptr·to··} |
| return value |
(CString *) empty |
coverage
& branch |
pseudo_coverage
The only branch |
| properties |
| REQ failed |
strptime.12.01 |
| REQ failed |
strptime.17.02 |
| kind |
POSTCONDITION_FAILED |
similar known bug(s)
|
Values of all fields of struct tm shall be positive or 0.
Additional information about this bug may be found at http://linuxtesting.org/results/report?num=S0808.
|
|